منابع مشابه
Workcraft: Ten Years Later
A large number of models that are employed in the field of concurrent systems’ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such fo...
متن کاملMigratory Typing: Ten Years Later
In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time consuming and error prone. Ten years ago, the two lead authors outlined a linguistic solution to this problem. Specifically they proposed the crea...
متن کاملComputability Closure: Ten Years Later
The notion of computability closure has been introduced for proving the termination of higher-order rewriting with first-order matching by Jean-Pierre Jouannaud and Mitsuhiro Okada in a 1997 draft which later served as a basis for the author's PhD. In this paper, we show how this notion can also be used for dealing with beta-normalized rewriting with matching modulo beta-eta (on patterns \`a la...
متن کاملNucleon Spin Puzzle: Ten Years Later..
In 1974 an article [1] appeared in the Physical Review in which J. Ellis and R. Jaffe deduced some predictions (sum rules) concerning structure functions of polarized lepton-nucleon deeply inelastic scattering. The predictions were based on some apparently natural assumptions like the negligible rôle of strange quarks in the formation of the nucleon spin. The result did not cause a noticeable a...
متن کاملGeneric Schema Matching, Ten Years Later
In a paper published in the 2001 VLDB Conference, we proposed treating generic schema matching as an independent problem. We developed a taxonomy of existing techniques, a new schema matching algorithm, and an approach to comparative evaluation. Since then, the field has grown into a major research topic. We briefly summarize the new techniques that have been developed and applications of the t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Regions and Cohesion
سال: 2020
ISSN: 2152-906X,2152-9078
DOI: 10.3167/reco.2020.100301